1. Automata
پدیدآورنده : Hopkin, David.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Machine theory,، Turing machines,، Computable functions
رده :
QA
267
.
H57
2. Computability theory: an introduction
پدیدآورنده : )by( Neil D. Jones,Title
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Recursive functions,Turing machines,Computable functions
رده :
QA
.
J66
248
.
5
3. Computability theory : concepts and applications
پدیدآورنده : Dunne, Paul E
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Computable functions , Recursion theory , Turing machines
رده :
QA
9
.
59
.
D85
4. Models of Computation : An Introduction to Computability Theory
پدیدآورنده :
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computable functions,Turing machines,توابع محاسبهپذیر,Fernalndez, Maribel
رده :
CD-B
,
QA
,
267
,.
F47
,
2009
5. Models of computation :an introduction to computability theory
پدیدآورنده : Fernandez, Maribel.
کتابخانه: Central Library and Documentation Center (Semnan)
موضوع : ، Computable functions,، Turing machines
رده :
QA
267
.
F47
2009
6. The undecidable: basic papers on undecidable propositions, unsolvable problems, and computable functions
پدیدآورنده : edited by Martin Davis
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Gedel's theorem,، Unsolvability )Mathematical logic(,، Recursive functions,، Turing machines,، Computable functions
رده :
QA
9
.
65
.
U53
2004
7. The undecidable : basic papers on undecidable propositions, unsolvable problems, and computable functions
پدیدآورنده : edited by Martin Davis
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Godel's theorem,، Unsolvability )Mathematical logic(,، Recursive functions,، Turing machines,، Computable functions
رده :
QA
9
.
65
.
U53
